Constructive proof of the existence of Nash Equilibrium in a finite strategic game with sequentially locally non-constant payoff functions by Sperner's lemma

摘要

Using Sperner's lemma for modified partition of a simplex we willconstructively prove the existence of a Nash equilibrium in a finite strategicgame with sequentially locally non-constant payoff functions. We follow theBishop style constructive mathematics.